Document open-menu-symbolic, which we use, not view-context-menu, which
does not exist.
* can hold almost any other standard #GtkWidget. The most commonly used
* child is #GtkImage. If no widget is explicitely added to the #GtkMenuButton,
* a #GtkImage is automatically created, using an arrow image oriented
- * according to #GtkMenuButton:direction or the generic "view-context-menu"
+ * according to #GtkMenuButton:direction or the generic “open-menu-symbolic”
* icon if the direction is not set.
*
* The positioning of the popup is determined by the #GtkMenuButton:direction